Англо-русский Русско-английский научно-технический словарь - predicate
Связанные словари
Перевод с английского языка predicate на русский
predicate
1) предикат 2) предикатный 3) сказуемое 4) утверждать classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — полностью представимый предикат constructive predicate calculus — конструктивное исчисление предикатов deductive predicate calculus — дедуктивное исчисление предикатов disjunctively definable predicate — дизъюнктивно определимый предикат effectively decidable predicate — эффективно разрешимый предикат extended predicate calculus — расширенное исчисление предикатов general recursive predicate — общерекурсивный предикат higher predicate calculus — исчисление предикатов высших порядков homomorphically stable predicate — гомоморфно устойчивый предикат modal predicate calculus — модальное исчисление предикатов monadic predicate calculus — исчисление одноместных предикатов multiplicatively stable predicate — мультипликативно устойчивый предикат multivalued predicate calculus — многозначное исчисление предикатов numeralwise decidable predicate — нумерически разрешимый предикат numeralwise expressible predicate — нумерически выразимый предикат one-place predicate calculus — исчисление одноместных предикатов positive predicate calculus — позитивное исчисление предикатов positive predicate tautology — позитивная предикатная тавтология positively calculable predicate — позитивно вычислимый предикат predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов с равенством predicate calculus without identity — исчисление предикатов без равенства predicate letter formula — предикатная формула predicate preserving function — сохраняющая предикат функция predicate with free variable — предикат со свободной переменной primitive recursive predicate — примитивно рекурсивный предикат proper predicate calculus — собственное исчисление предикатов properly recursive predicate — собственно рекурсивный предикат pure predicate calculus — чистое исчисление предикатов recursively enumerable predicate — рекурсивно перечислимый предикат restricted predicate calculus — узкое исчисление предикатов set-theoretic predicate logic — теоретико-множественная логика предикатов several-sorted predicate calculus — исчисление предикатов с переменными нескольких видов singular predicate calculus — сингулярное исчисление предикатов strictly stable predicate — строго устойчивый предикат two-valued predicate calculus — двузначное классическое исчисление предикатов unrestricted predicate constant — логика неограниченная предикатная постоянная weakly representable predicate — слабо представимый предикат - algebraic predicate - analytic predicate - arithmetical predicate - atomic predicate - auxiliary predicate - basic predicate - binary predicate - bounded predicate - complement of predicate - complete predicate - computability predicate - decidable predicate - definable predicate - derived predicate - dyadic predicate - elementary predicate - enumerable predicate - equality predicate - exhaustive predicate - expressible predicate - filtered predicate - first-order predicate - formula predicate - generable predicate - higher-order predicate - hyperarithmetical predicate - individual predicate - induction predicate - invariant predicate - irreducible predicate - metamathematical predicate - monadic predicate - multiplace predicate - n-argument predicate - n-ary predicate - n-place predicate - nullary predicate - number-theoretic predicate - numerical predicate - one-place predicate - partial predicate - persistent predicate - polynomial predicate - positive-formula predicate - predicate calculus - predicate domain - predicate form - predicate function - predicate hierarchy - predicate inference - predicate interpretation - predicate letTER - predicate logic - predicate of predicates - predicate preserving - predicate programming - predicate symbol - predicate tautology - predicate variable - predicate vertex - prime predicate - primitive predicate - quasirecursive predicate - representable predicate - representing predicate - resolvable predicate - sameness predicate - satisfying predicate - saturable predicate - second-order predicate - semiarithmetical predicate - semicomputable predicate - singular predicate - stable predicate - strong predicate - symmetric predicate - total predicate - triadic predicate - truth predicate - two-place predicate - unary predicate - undecidable predicate - unitary predicate - universal predicate - variable predicate
Рейтинг статьи:
См. в других словарях
1.
1. грам. лог. предикат, сказуемое 2. лог. утверждение 3. предикативный predicate noun —- предикативное существительное, существительное в роли именной части составного сказуемого 4. утверждать; заявлять; делать заявление 5. ам. основывать (утверждение и т. п.) на чем-л. my plan is predicated on the assumption that... —- в своем плане я исхожу из того, что... 6. грам. лог. предицировать 7. наводить на мысль grass predicates greenness —- трава вызывает представление о зеленом цвете 8. редк. проповедовать 9. разг. предсказывать ...Новый большой англо-русский словарь
2.
1. noun 1) gram. сказуемое, предикат 2) logic утверждение 2. v. 1) утверждать also logic (of, about) 2) amer. основывать (утверждение и т.п.) на фактах (upon) ...Англо-русский словарь
Большой Англо-русский Русско-английский политехнический словарь
4.
v. & n. --v.tr. 1 assert or affirm as true or existent. 2 (foll. by on) found or base (a statement etc.) on. --n. 1 Gram. what is said about the subject of a sentence etc. (e.g. went home in John went home). 2 Logic a what is predicated. b what is affirmed or denied of the subject by means of the copula (e.g. mortal in all men are mortal). Derivatives predication n. Etymology: L praedicare praedicat- proclaim (as PRAE-, dicare declare) ...Толковый словарь английского языка Oxford English Reference
5.
I. noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. a. something that is affirmed or denied of the subject in a proposition in logic b. a term designating a property or relation 2. the part of a sentence or clause that expresses what is said of the subject and that usually consists of a verb with or without objects, complements, or adverbial modifiers • predicative adjective • predicatively adverb II. transitive verb (-cated; -cating) Etymology: Late Latin praedicatus, past participle of praedicare to assert, ~ logically, preach, from Latin, to proclaim, assert — more at preach Date: circa 1552 1. a. affirm, declare b. archaic preach 2. a. to assert to be a quality, attribute, or property — used with following of ~s intelligence of humans b. to make (a term) the ~ in a proposition 3. found, base — usually used with on the theory is ~d on recent findings 4. imply III. adjective Date: 1887 completing the meaning of a copula ~ adjective ~ noun ...Merriam-Webster Collegiate Dictionary
6.
(predicated) 1. In some systems of grammar, the predicate of a clause is the part of it that is not the subject. For example, in ‘I decided what to do’, ‘decided what to do’ is the predicate. N-COUNT 2. If you say that one situation is predicated on another, you mean that the first situation can be true or real only if the second one is true or real. (FORMAL) Financial success is usually predicated on having money or being able to obtain it. VERB: usu passive, be V-ed on n/-ing ...Collins COBUILD Advanced Learner's English Dictionary
7.
~1 n the part of a sentence that makes a statement about the subject, such as `swim' in `Fishes swim' and `is an artist' in `She is an artist' (- compare subject1 (5)) ~2 v formal be predicated on to be based on something as the reason for doing something else (The company's decision to take on more staff was predicated on the belief that the recession was over.) ...Longman Dictionary of Contemporary English
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2699 | |
2 | 2236 | |
3 | 2023 | |
4 | 2006 | |
5 | 1920 | |
6 | 1764 | |
7 | 1556 | |
8 | 1450 | |
9 | 1436 | |
10 | 1424 | |
11 | 1408 | |
12 | 1226 | |
13 | 1216 | |
14 | 1156 | |
15 | 1127 | |
16 | 1062 | |
17 | 1025 | |
18 | 943 | |
19 | 935 | |
20 | 882 |